Tabular parsing and algebraic transformations
نویسنده
چکیده
We present an algebraic description of tabular parsing algorithms that avoids a significant problem of Sikkel’s description, namely that inconsistent parse items cannot be represented. We show that a parse item must be regarded as a pair consisting of a congruence class of partial parse trees and a tuple of strings. A tabular parsing algorithm is described algebraically by a pair of algebras with a homomorphism between them. The parsing problem is described as the computation of the inverse image of an input string with respect to this homomorphism. Furthermore, we define a correctness-preserving transformation of an algebra that allows us to transform a context-free tabular algorithm into an algorithm for linear indexed grammars. The main features of this construction are its modularity, the simplification of the correctness proof, and the motivation of the higher complexity of the LIG algorithm in terms of algebraic properties.
منابع مشابه
Tabular Algorithms for TAG Parsing
We describe several tabular algorithms for Tree Adjoining Grammar parsing, creating a continuum from simple pure bottom-up algorithms to complex predictive algorithms and showing what transformations must be applied to each one in order to obtain the next one in the continuum.
متن کاملEfficient Tabular LR Parsing
We give a new treatment of tabular LR parsing, which is an alternative to Tomita’s generalized LR algorithm. The advantage is twofold. Firstly, our treatment is conceptually more attractive because it uses simpler concepts, such as grammar transformations and standard tabulation techniques also know as chart parsing. Secondly, the static and dynamic complexity of parsing, both in space and time...
متن کاملar X iv : c m p - lg / 9 60 50 18 v 1 1 3 M ay 1 99 6 Efficient Tabular LR Parsing
We give a new treatment of tabular LR parsing, which is an alternative to Tomita’s generalized LR algorithm. The advantage is twofold. Firstly, our treatment is conceptually more attractive because it uses simpler concepts, such as grammar transformations and standard tabulation techniques also know as chart parsing. Secondly, the static and dynamic complexity of parsing, both in space and time...
متن کاملAn Optimal Tabular Parsing Algorithm
In this paper we relate a number of parsing algorithms which have been developed in very diierent areas of parsing theory, and which include deterministic algorithms , tabular algorithms, and a parallel algorithm. We show that these algorithms are based on the same underlying ideas. By relating existing ideas, we hope to provide an opportunity to improve some algorithms based on features of oth...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 293 شماره
صفحات -
تاریخ انتشار 2003